MissingDefinitionDataOrRec.agda:3,1-2
The following names are declared but not accompanied by a
definition: T, U, V
